Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
571	Speeding up Approximation with nicer Concepts Anni-Yasmin Turhan? and Yusri Bong Theoretical Computer Science, TU Dresden, Germany {turhan, bong}@tcs.inf.tu-dresden.de Abstract. Concept approximation is an inference serv Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information science Non-classical logic Approximation algorithm Logarithm Concepts Anti de Sitter space Science Logic Mathematics Artificial intelligence Description logic
572	Non-pdontised ranked belief change Aditya Ghose Decision Systems Laboratory Department of Information Systems University of Wollongong Wollongong, NSW 2522, Australia Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Binary operations Non-classical logic Belief revision Entailment Modal logic Consistency Epistemology If and only if Multiset Logic Philosophical logic Mathematics
573	A Possibilistic Extension of Description Logics Guilin Qi1 , Jeff Z. Pan2 , and Qiu Ji1 1 2 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Mathematics Possibility theory Interpretation Modal logic Description logic Constructible universe Fuzzy logic Function Probabilistic logic Logic Mathematical logic Non-classical logic
574	Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics ? Yue Ma1,2 , Guilin Qi2 , Pascal Hitzler2 , and Zuoquan Lin1 1 Department of Information Science, Peking University, China Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Information science Technical communication Knowledge representation Ontology Entailment Proj construction Description logic Many-valued logic Logic Science Philosophical logic
575	Description Logics in the Calculus of Structures Jean-David Roubach1,2 , Pascal Yim2 , and Joaquín Rodriguez1 1 INRETS – ESTAS Villeneuve d’Ascq, France Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Philosophical logic Metalogic Calculus of structures Modal logic Deep inference Structural proof theory Sequent calculus Proof calculus Logic Mathematical logic Proof theory
576	A Well-founded Semantics for Hybrid MKNF Knowledge Bases? Matthias Knorr1 , Jos´e J´ ulio Alferes1 , and Pascal Hitzler2 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Modal logic Logic programming Artificial intelligence Non-classical logic Model theory Stable model semantics Epistemic modal logic Partition Description logic Mathematics Mathematical logic Logic
577	Modal Logic Applied to Query Answering and the Case for Variable Modalities Evgeny Zolin School of Computer Science The University of Manchester [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Model theory Modal logic Non-classical logic Conjunctive query Kripke semantics FO Logical connective Interpretation Query Logic Mathematical logic Philosophical logic
578	Semantic difference in ALN Alain L´eger1 , Christophe Rey2 , and Farouk Toumani2 1 2 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Philosophical logic Artificial intelligence Description logic Information science PP Semantic gap Modal logic FO Logic Non-classical logic Applied mathematics
579	Logics for Insecure Communication Alexandru Baltag* Abstract W e present a general setting for dynarnlc-epistemic logics for communication, which can express announcements of different types (public or private, truthful Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Modal logic Non-classical logic Kripke semantics Classical cipher Four-square cipher Logic Philosophical logic Mathematical logic
580	A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Information Knowledge representation Knowledge engineering Information science Non-classical logic Semantic reasoner Description logic Method of analytic tableaux Web Ontology Language Semantic Web Logic Science

UPDATE